We use nonstandard methods, based on iterated hyperextensions, to develop applications to Ramsey theory of the theory of monads of ultrafilters. This is performed by studying in detail arbitrary tensor products of ultrafilters, as well as by characterising their combinatorial properties by means of their monads. This extends to arbitrary sets and properties methods previously used to study partition regular Diophantine equations on. Several applications are described by means of multiple examples.

We introduceself-divisibleultrafilters, which we prove to be precisely those$w$such that the weak congruence relation$\equiv _w$introduced by Šobot is an equivalence relation on$\beta {\mathbb Z}$. We provide several examples and additional characterisations; notably we show that$w$is self-divisible if and only if$\equiv _w$coincides with the strong congruence relation$\mathrel {\equiv ^{\mathrm {s}}_{w}}$, if and only if the quotient$(\beta {\mathbb Z},\oplus )/\mathord {\mathrel {\equiv ^{\mathrm {s}}_{w}}}$is a profinite group. We also construct an ultrafilter$w$such that$\equiv _w$fails to be symmetric, and describe the interaction between the (...) aforementioned quotient and the profinite completion$\hat {{\mathbb Z}}$of the integers. (shrink)

Several different versions of the theory of numerosities have been introduced in the literature. Here, we unify these approaches in a consistent frame through the notion of set of labels, relating numerosities with the Kiesler field of Euclidean numbers. This approach allows us to easily introduce, by means of numerosities, ordinals and their natural operations, as well as the Lebesgue measure as a counting measure on the reals.

This book employs a new eco-cognitive model of abduction to underline the distributed and embodied nature of scientific cognition. Its main focus is on the knowledge-enhancing virtues of abduction and on the productive role of scientific models. What are the distinctive features that define the kind of knowledge produced by science? To provide an answer to this question, the book first addresses the ideas of Aristotle, who stressed the essential inferential and distributed role of external cognitive tools and epistemic mediators (...) in abductive cognition. This is analyzed in depth from both a naturalized logic and an ecology of cognition perspective. It is shown how the maximization of cognition, and of abducibility – two typical goals of science – are related to a number of fundamental aspects: the optimization of the eco-cognitive situatedness; the maximization of changeability for both the input and the output of the inferences involved; a high degree of information-sensitiveness; and the need to record the “past life” of abductive inferential practices. Lastly, the book explains how some impoverished epistemological niches – the result of a growing epistemic irresponsibility associated with the commodification and commercialization of science – are now seriously jeopardizing the flourishing development of human creative abduction. (shrink)

This volume sets out to give a philosophical "applied" account of violence, engaged with both empirical and theoretical debates in other disciplines such as cognitive science, sociology, psychiatry, anthropology, political theory, ...

Spontaneous collapse theories of quantum mechanics turn the usual Schrödinger equation into a stochastic dynamical law. In particular, in this paper, I will focus on the GRW theory. Two philosophical issues that can be raised about GRW concern (i) the ontology of the theory, in particular the nature of the wave function and its role within the theory, and (ii) the interpretation of the objective probabilities involved in the dynamics of the theory. During the last years, it has been claimed (...) that we can take advantage of dispositional properties in order to develop an ontology for GRW theory, and also in order to ground the objective probabilities which are postulated by it. However, in this paper, I will argue that the dispositional interpretations which have been discussed in the literature so far are either flawed or – at best – incomplete. If we want to endorse a dispositional interpretation of GRW theory we thus need an extended account that specifies the precise nature of those properties and which makes also clear how they can correctly ground all the probabilities postulated by the theory. Thus, after having introduced several different kinds of probabilistic dispositions, I will try to fill the gap in the literature by proposing a novel and complete dispositional account of GRW, based on what I call spontaneous weighted multi-track propensities. I claim that such an account can satisfy both of our desiderata. (shrink)

This handbook offers the first comprehensive reference guide to the interdisciplinary field of model-based reasoning. It highlights the role of models as mediators between theory and experimentation, and as educational devices, as well as their relevance in testing hypotheses and explanatory functions. The Springer Handbook merges philosophical, cognitive and epistemological perspectives on models with the more practical needs related to the application of this tool across various disciplines and practices. The result is a unique, reliable source of information that guides (...) readers toward an understanding of different aspects of model-based science, such as the theoretical and cognitive nature of models, as well as their practical and logical aspects. The inferential role of models in hypothetical reasoning, abduction and creativity once they are constructed, adopted, and manipulated for different scientific and technological purposes is also discussed. Written by a group of internationally renowned experts in philosophy, the history of science, general epistemology, mathematics, cognitive and computer science, physics and life sciences, as well as engineering, architecture, and economics, this Handbook uses numerous diagrams, schemes and other visual representations to promote a better understanding of the concepts. This also makes it highly accessible to an audience of scholars and students with different scientific backgrounds. All in all, the Springer Handbook of Model-Based Science represents the definitive application-oriented reference guide to the interdisciplinary field of model-based reasoning. (shrink)

There are several key ingredients common to the various forms of model-based reasoning considered in this book. The term ‘model’ comprises both internal and external representations. The models are intended as interpretations of target physical systems, processes, phenomena, or situations and are retrieved or constructed on the basis of potentially satisfying salient constraints of the target domain. The book’s contributors are researchers active in the area of creative reasoning in science and technology.

This paper develops a trivalent semantics for indicative conditionals and extends it to a probabilistic theory of valid inference and inductive learning with conditionals. On this account, (i) all complex conditionals can be rephrased as simple conditionals, connecting our account to Adams's theory of p-valid inference; (ii) we obtain Stalnaker's Thesis as a theorem while avoiding the well-known triviality results; (iii) we generalize Bayesian conditionalization to an updating principle for conditional sentences. The final result is a unified semantic and probabilistic (...) theory of conditionals with attractive results and predictions. (shrink)

Complementarity tells us we cannot know precisely the values of all the properties of a quantum object at the same time: the precise determination of one property implies that the value of some other (complementary) property is undefined. E.g. the precise knowledge of the position of a particle implies that its momentum is undefined. Here we show that a Schrödinger cat has a well defined value of a property that is complementary to its “being dead or alive” property. Then, thanks (...) to complementarity, it has an undefined value of the property “being dead or alive”. In other words, the cat paradox is explained through quantum complementarity: of its many complementary properties, any quantum system, such as a cat, can have a well defined value only of one at a time. Schrödinger’s cat has a definite value of a property which is complementary to “being dead or alive”, so it is neither dead nor alive. Figuratively one can say it is both dead and alive. While this interpretation only uses textbook concepts (the Copenhagen interpretation), apparently it has never explicitly appeared in the literature. We detail how to build an Arduino based simulation of Schrödinger’s experiment based on these concepts for science outreach events. (shrink)

In my opinion, it is only in the framework of a research dealing with abductive cognition that we can analyze important cognitive aspects of human and machine capacities. From the point of view of human capacities the phenomenological concept of anticipation, which is related to the problem of the spontaneous generation of spatiality and its three-dimensionality, will be central. I will describe that anticipations can be seen as types of visual and manipulative abduction and also fruitful to illustrate, in the (...) case of human and machine capacities, the respective role of two kinds of strategic reasoning: locked and unlocked abductive strategies, which characterize the basic cognitive pro- cedure of “reading ahead”. The specificity of these contrasting inferential strategies is also related to their potentiality in producing different kinds of hypothetical outcomes, which in turn represent dissimilar levels of knowledge creativity. This diversity is also fundamental to depict the special character, the kind of creativity, and the limits of current computational deep learning AI systems, such as AlphaGo, which realize abductive cognitive processes. (shrink)

This book contains contributions presented during the international conference on Model-Based Reasoning (MBR'012), held on June 21-23 in Sestri Levante, Italy. Interdisciplinary researchers discuss in this volume how scientific cognition and other kinds of cognition make use of models, abduction, and explanatory reasoning in order to produce important or creative changes in theories and concepts. Some of the contributions analyzed the problem of model-based reasoning in technology and stressed the issues of scientific and technological innovation. The book is divided in (...) three main parts: models, mental models, representations; abduction, problem solving and practical reasoning; historical, epistemological and technological issues.. (shrink)

ABSTRACT This paper uses abduction to propose a theory of addictive desire that is based on a dual dysfunction in learning and motivation. The theory is termed the Coherent Dual Theory of Addictive Desire (CDT) because it proposes that a dual dysfunction lies at the heart of addictive desire. This paper first lays out CDT in psychological terms. It then focuses on how CDT coheres with both the neurobiology and phenomenology of addictive desire, granting the theory empirical support and more (...) explanatory power. The paper concludes by addressing an objection from opponent process theory. The result is a theory of addictive desire that contains multiple abductive virtues: It is simple, general, testable, and coherent on the levels of neurobiology, psychology, and phenomenology. (shrink)

This is the preface of the special Issue: Formal Representations in Model-based Reasoning and Abduction, published at the Logic Jnl IGPL (2012) 20 (2): 367-369. doi: 10.1093/jigpal/jzq055 First published online: December 20, 2010.

This book discusses how scientific and other types of cognition make use of models, abduction, and explanatory reasoning in order to produce important or creative changes in theories and concepts. It includes revised contributions presented during the international conference on Model-Based Reasoning (MBR’015), held on June 25-27 in Sestri Levante, Italy. The book is divided into three main parts, the first of which focuses on models, reasoning and representation. It highlights key theoretical concepts from an applied perspective, addressing issues concerning (...) information visualization, experimental methods and design. The second part goes a step further, examining abduction, problem solving and reasoning. The respective contributions analyze different types of reasoning, discussing various concepts of inference and creativity and their relationship with experimental data. In turn, the third part reports on a number of historical, epistemological and technological issues. By analyzing possible contradictions in modern research and describing representative case studies in experimental research, this part aims at fostering new discussions and stimulating new ideas. All in all, the book provides researchers and graduate students in the field of applied philosophy, epistemology, cognitive science and artificial intelligence alike with an authoritative snapshot of current theories and applications of model-based reasoning. (shrink)

This volume is based on the papers presented at the international conference Model-Based Reasoning in Science and Technology (MBR09_BRAZIL), held at the University of Campinas (UNICAMP), Campinas, Brazil, December 2009. The presentations given at the conference explored how scientific cognition, but several other kinds as well, use models, abduction, and explanatory reasoning to produce important or creative changes in theories and concepts. Some speakers addressed the problem of model-based reasoning in technology, and stressed the issue of science and technological innovation. (...) The various contributions of the book are written by interdisciplinary researchers who are active in the area of creative reasoning in logic, science, and technology: the most recent results and achievements about the topics above are illustrated in detail in the papers. The book is divided in three parts, which cover the following main areas: part I, abduction, problem solving, and practical reasoning; part II: formal and computational aspects of model based reasoning; part III, models, mental models, representations. (shrink)

This paper deals with Kripke-style semantics for many-valued logics. We introduce various types of Kripke semantics, and we connect them with algebraic semantics. As for modal logics, we relate the axioms of logics extending MTL to properties of the Kripke frames in which they are valid. We show that in the propositional case most logics are complete but not strongly complete with respect to the corresponding class of complete Kripke frames, whereas in the predicate case there are important many-valued logics (...) like BL, Ł and Π, which are not even complete with respect to the class of all predicate Kripke frames in which they are valid. Thus although very natural, Kripke semantics seems to be slightly less powerful than algebraic semantics. (shrink)

What I call theoretical abduction (sentential and model-based) certainly illustrates much of what is important in abductive reasoning, especially the objective of selecting and creating a set of hypotheses that are able to dispense good (preferred) explanations of data, but fails to account for many cases of explanations occurring in science or in everyday reasoning when the exploitation of the environment is crucial. The concept of manipulative abduction is devoted to capture the role of action in many interesting situations: action (...) provides otherwise unavailable information that enables the agent to solve problems by starting and performing a suitable abductive process of generation or selection of hypotheses. Many external things, usually inert from the epistemological point of view, can be transformed into what I call epistemic mediators, which are illustrated in the last part of the paper, together with an analysis of the related notion of external representation . Finally, some examples of computational programs that simulate geometrical reasoning are illustrated. The computational embodiment generates a kind of squared epistemic mediator: geometrical construction, as an example of epistemic mediator, is further mediated. (shrink)

This paper examines the email discursive practices of particular speakers of two different languages, namely Peninsular Spanish and British English. More specifically, our study focuses on (in)formality and (in)directness therein, for these lie at the heart of considerable scholarly debate regarding, respectively (i) the general stylistic drift towards orality and informality in technology-mediated communication, and (ii) the degree of communicative (in)directness - within broader politeness orientations - of speakers of different languages, specifically an orientation towards directness in Peninsular Spanish vis-à-vis (...) indirectness in British English. The aim of this paper is thus to investigate the role of (in)formality and (in)directness in email messages sent by members of two groups of undergraduate students to their university lecturers. To this end, a corpus of 100 impromptu emails was compiled and analysed. Results revealed complex, fluctuating patterns regarding levels of (in)formality and (in)directness that underlined cross-cultural variation in the way that different sociopragmatic principles found expression in a specific computer-mediated communicative situation. (shrink)

Firstly, this contribution proposes to address synthographies – images generated through Text-to-image technologies – by deepening the epistemological shift related to the possibility of transposing the image-creation process from the analogue arts to the notational ones (or, by drawing on Nelson Goodman's terminology, from the “autographic” to the “allographic” forms of art). Secondly, the paper highlights how synthographies can be considered partly autographic and partly allographic, since the linguistic prompts constitute only the notational aspect of the generated images. Furthermore, this (...) contribution argues that the recent critiques around such images, which referenced aspects related to the absence of authorial presence and mechanicality, characterised the history of photography since its beginning. Finally, the contribution explores how the possibility to create synthographies that are almost indistinguishable from photographies easily might further separate the interaction between the detective and the depictive functions to the advantage of the latter, erasing what remains of the visual reliability and documental value of images. (shrink)

In this article I will show why and how it is useful to exploit the hexagon of opposition to have a better and new understanding of the relationships between morality and violence and of fundamental axiological concepts. I will take advantage of the analysis provided in my book Understanding Violence. The Intertwining of Morality, Religion, and Violence: A Philosophical Stance. Springer, Heidelberg/Berlin, 2011) to stress some aspects of the relationship between morality and violence, also reworking some ideas by John Woods (...) concerning the so-called epistemic bubbles, to reach and describe my own concept of moral bubbles. The study aims at providing a simple theory of basic concepts of moral philosophy, which extracts and clarifies the strict relationship between morality and violence and more, for example the new philosophical concept of overmorality. I will also conclude that this kind of hybrid diagrammatic reasoning is a remarkable example of manipulative explanatory abduction—through drawing—in the spirit of “conceptual structuralism”, promoted by Robert Blanché and further developed by Jean-Yves Béziau. (shrink)

We introduce the new notion of additive “multibox” for linear logic proof-nets. Thanks to this notion, we define a cut-elimination procedure which associates with every proof-net of multiplicative and additive linear logic a unique cut-free one.

This paper aims to demonstrate how philosophy and ethics shed light on professional ethics. One of the most important issues in professional ethics nowadays is to establish and justify rules to achieve and sustain good behavior in persons involved in specific activities. During the second half of the twentieth century, professional ethics became increasingly more important for philosophy, while the number of codes of ethics continues to grow. This exposition is based on some fundamental ethical concepts, like ‘end,’ ‘rule,’ ‘virtue,’ (...) etc., some of which are taken from Alasdair MacIntyre’s thought. (shrink)

This paper aims to demonstrate how philosophy and ethics shed light on professional ethics. One of the most important issues in professional ethics nowadays is to establish and justify rules to achieve and sustain good behavior in persons involved in specific activities. During the second half of the twentieth century, professional ethics became increasingly more important for philosophy, while the number of codes of ethics continues to grow. This exposition is based on some fundamental ethical concepts, like ‘end,’ ‘rule,’ ‘virtue,’ (...) etc., some of which are taken from Alasdair MacIntyre’s thought. (shrink)

As a field of scientific expertise, semiotics has the interesting property of being a relevant tool for understanding how scientists represent any domain of research, including the semiotic domain itself. This feature is particularly expressive in the case of biology, as it appears to be the case that a certain range of biological phenomena are of a semiotic character. However, it is not consensual the extent to which semiotics pervades biology. This paper deals with this issue for the particular case (...) of developmental biology, stressing the role of semiotics-as-a-discipline in delimiting the extent of semiotics-as-a-natural-phenomenon and, specifically, in disentangling semiotic mechanisms from semiotic metaphors aimed at clarifying non-semiotic developmental mechanisms. (shrink)

En este artículo se busca indagar, por un lado, las aporías que Gadamer detecta en la propuesta epistemológica de Dilthey y, por el otro lado, las aporías que el propio Dilthey encuentra en el obrar de las ciencias del espíritu. El objetivo de este artículo será mostrar las limitaciones de la crítica gadameriana y reconocer que la obra de Dilthey excede el análisis exclusivamente objetivista. Esto permitirá demostrar que la filosofía de Dilthey es una indagación del mundo humano entendido como (...) mundo activo. En otros términos, sus estudios son más que una investigación epistemológica. Se buscará sostener que la fundamentación de las ciencias del espíritu desarrollada por él se sostiene gracias a su investigación sobre la dinámica de la vida humana, del mundo común e histórico donde actúa el hombre. This paper seeks to investigate, on one hand, the aporiae that Gadamer detects in Dilthey's epistemological theory, and, on the other hand, the aporiae that Dilthey himself finds in the work of the human sciences. The goal of this paper is to show the limitations of Gadamer's critique and to recognize that Dilthey's work exceeds the objectivist analysis. This will allow proving that Dilthey's philosophy is an inquiry into the human world understood as an active world. In other words, his studies are more than an epistemological investigation. I will seek to claim that the basis of the human sciences developed by him is the result of his research on the dynamics of human life, on the common and historical world where man acts. (shrink)

In this article we offer a detailed assessment of current approaches to the origins of language, with a special foots on their historical and theoretical underpinnings. It is a widely accepted view within evolutionary linguistics that an account of the emergence of human language necessarily involves paying special attention to its communicative function and its relation to other animal communication systems. Ever since Darwin, some variant of this view has constituted the mainstream version in evolutionary linguistics; however, it is our (...) contention in this article that this approach is seriously flawed, and that “animal communication” does not constitute a natural kind on which a sound theoretical model can be built. As a consequence, we argue that this communicative perspective is better abandoned in favor of a structural/formal approach based on the notion of homology, and that some interesting and unexpected similarities may be found by applying this venerable comparative method founded in the 19th century by Richard Owen. (shrink)

Voces técnicas mínimas que forman el lenguaje filosófico, extraídas de los libros de Filosofía de Bachillerato, Ética y textos de COU.

En Una Teoría de la Justicia (A Theory of Justice, 1971), la justicia —sus dos principios— viene a regular los intereses, fundamento y motor de la sociedad y del individuo ralwsianos. No obstante, tal regulación —individualista— preserva y favorece la libertad máxima individual, de modo que ésta, sin embargo, no llegue a alterar el orden social. Sobre la moralidad que Rawls propone, ante todo, hay que saber que la justicia como imparcialidad (Justice as fairness como él llama a su teoría) (...) no pretende la completa especificación de la conducta, sino más bien aproximarse a unos límites, a un marco dentro de los cuales los individuos y asociaciones son libres de perseguir sus fines (Rawls, 1978: 566). Acaso sean la indefinición o la poca importancia de pensar acerca de dichos fines los que hagan considerar a Rawls la moralidad como una simple preferencia (1978: 244), rasgo común en las tradiciones con las que se relaciona (utilitarismo y contractualismo). El concepto de bien se halla implícito en toda la teoría de la justicia de Rawls y sus conceptos (sociedad, individuo, deber, etc.), y, por tanto, en muchos debates que Rawls ha generado, aunque, a nuestro juicio, no ha sido examinado con suficiente detenimiento. El análisis que se propone discurre por tres temas distintos: el contexto del concepto de bien, la teoría específica (del bien) y la teoría general (del bien), para terminar con la conclusión. (shrink)